41 ideas
| 7823 | Lucretius was rediscovered in 1417 [Grayling] |
| 10859 | A set is 'well-ordered' if every subset has a first element [Clegg] |
| 10857 | Set theory made a closer study of infinity possible [Clegg] |
| 10864 | Any set can always generate a larger set - its powerset, of subsets [Clegg] |
| 10872 | Extensionality: Two sets are equal if and only if they have the same elements [Clegg] |
| 10875 | Pairing: For any two sets there exists a set to which they both belong [Clegg] |
| 10876 | Unions: There is a set of all the elements which belong to at least one set in a collection [Clegg] |
| 10878 | Infinity: There exists a set of the empty set and the successor of each element [Clegg] |
| 10877 | Powers: All the subsets of a given set form their own new powerset [Clegg] |
| 10879 | Choice: For every set a mechanism will choose one member of any non-empty subset [Clegg] |
| 10871 | Axiom of Existence: there exists at least one set [Clegg] |
| 10874 | Specification: a condition applied to a set will always produce a new set [Clegg] |
| 10880 | Mathematics can be 'pure' (unapplied), 'real' (physically grounded); or 'applied' (just applicable) [Clegg] |
| 10860 | An ordinal number is defined by the set that comes before it [Clegg] |
| 10861 | Beyond infinity cardinals and ordinals can come apart [Clegg] |
| 10854 | Transcendental numbers can't be fitted to finite equations [Clegg] |
| 10858 | By adding an axis of imaginary numbers, we get the useful 'number plane' instead of number line [Clegg] |
| 10853 | Either lack of zero made early mathematics geometrical, or the geometrical approach made zero meaningless [Clegg] |
| 10866 | Cantor's account of infinities has the shaky foundation of irrational numbers [Clegg] |
| 10869 | The Continuum Hypothesis is independent of the axioms of set theory [Clegg] |
| 10862 | The 'continuum hypothesis' says aleph-one is the cardinality of the reals [Clegg] |
| 6408 | Russell needed three extra axioms to reduce maths to logic: infinity, choice and reducibility [Grayling] |
| 12887 | A whole must have one characteristic, an internal relation, and a structure [Rescher/Oppenheim] |
| 6414 | Two propositions might seem self-evident, but contradict one another [Grayling] |
| 7091 | The argument from analogy is not a strong inference, since the other being might be an actor or a robot [Grayling] |
| 7293 | It is legitimate to do harm if it is the unintended side-effect of an effort to achieve a good [Grayling] |
| 7809 | In an honour code shame is the supreme punishment, and revenge is a duty [Grayling] |
| 23262 | Experience, sympathy and history are sensible grounds for laying claim to rights [Grayling] |
| 23263 | Politics is driven by power cliques [Grayling] |
| 23255 | It is essential for democracy that voting is free and well informed [Grayling] |
| 23254 | Democracies should require a supermajority for major questions [Grayling] |
| 23260 | A cap on time of service would restrict party control and career ambitions [Grayling] |
| 23253 | Majority decisions are only acceptable if the minority interests are not vital [Grayling] |
| 23256 | Liberty and equality cannot be reconciled [Grayling] |
| 23258 | The very concept of democracy entails a need for justice [Grayling] |
| 23259 | There should be separate legislative, executive and judicial institutions [Grayling] |
| 7292 | War must also have a good chance of success, and be waged with moderation [Grayling] |
| 7824 | If suicide is lawful, but assisting suicide is unlawful, powerless people are denied their rights [Grayling] |
| 7819 | Religion gives answers, comforts, creates social order, and panders to superstition [Grayling] |
| 7817 | To make an afterlife appealing, this life has to be denigrated [Grayling] |
| 7818 | In Greek mythology only heroes can go to heaven [Grayling] |